Danish Logical Team